!Heirarch:

Good choice! I hope you're satisfied!

The proofs you brought will be very useful to us. Just wait!